home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
misc
/
cabern.zip
/
EXAMPLES
/
PROF2.NET
< prev
next >
Wrap
Text File
|
1994-09-08
|
15KB
|
317 lines
(TimedNet$prof2.net102#
(TimedPlace$KpPncl_25440#2048#100#2#1#214#0#;1timed_int)
(TimedPlace$KpPncl_12368#320#100#2#1#2#1#
(TimedToken$T0+10#);1timed_int)
(TimedPlace$Wrtng_12880#384#100#2#1#3#0#;1timed_int)
(TimedPlace$KpBlck_13456#320#100#2#1#4#0#;1timed_int)
(TimedPlace$Blck14736#544#100#2#1#5#1#
(TimedToken$Tk1T00#);1timed_int)
(TimedTransition$PckPncl_12112#448#100#1#1#6#TRUE;enab+1enab+1STRONG)
(TimedTransition$LvPncl_11600#320#100#1#1#7#TRUE;enab+3enab+3STRONG)
(TimedTransition$EndWrtng_12880#544#100#1#1#8#TRUE;enab+60enab+120STRONG)
(TimedTransition$StrtWrtng_12880#192#100#1#1#9#TRUE; enab+1enab+1STRONG)
(TimedTransition$LvBlck_14384#320#100#1#1#10#TRUE;enab+3enab+3STRONG)
(TimedTransition$PckBlck_13680#448#100#1#1#11#TRUE;enab+1enab+1STRONG)
(TimedTransition$NwClls2880#1600#100#1#1#61#TRUE;KyDts.time+365KyDts.time+365STRONG)
(TimedPlace$Wrtng_25216#1600#100#2#1#215#0#;1timed_int)
(TimedPlace$KpBlck_25440#1152#100#2#1#216#0#;1timed_int)
(TimedTransition$SbmtMjr_12880#960#100#1#1#136#TRUE;PprRdy_1.timeClls1_1.time+90WEAK)0^
(TimedTransition$PckPncl_25248#2432#100#1#1#218#TRUE;enab+1enab+1STRONG)
(TimedTransition$LvPncl_24960#2048#100#1#1#219#TRUE;enab+3enab+3STRONG)
(TimedTransition$EndWrtng_24736#1600#100#1#1#220#TRUE;enab+60enab+120STRONG)
(TimedTransition$StrtWrtng_25696#1600#100#1#1#221#TRUE; enab+1enab+1STRONG)
(TimedTransition$LvBlck_25152#704#100#1#1#222#TRUE;enab+3enab+3STRONG)
(TimedTransition$PckBlck_24960#1152#100#1#1#223#TRUE;enab+1enab+1STRONG)
(TimedPlace$KyDts3136#1664#100#2#1#62#3#
(TimedToken$Tk1T0-355-355#)
(TimedToken$Tk2T0-260-260#)
(TimedToken$Tk3T0-100-100#);1timed_int)
(TimedTransition$SbmtMjr_23936#1600#100#1#1#224#TRUE;PprRdy_2.timeClls1_2.time+90WEAK)
(TimedPlace$Pncl24736#2816#100#2#1#225#1#
(TimedToken$Tk1T00#);1timed_int)
(TimedPlace$PprRdy_24352#1600#100#2#1#226#0#;1timed_int)
(TimedPlace$Pncl11408#544#100#2#1#38#0#;1timed_int)
(TimedPlace$Clls2_23136#1312#100#2#1#227#0#;1timed_int)
(TimedPlace$Clls1_23552#1600#100#2#1#228#0#;1timed_int)
(TimedPlace$Wtng1_23936#1312#100#2#1#229#0#;1timed_int)
(TimedTransition$MjrAccpt_23488#1312#100#1#1#230#TRUE;Clls2_2.time+180Clls2_2.time+180STRONG)
(TimedTransition$MjrRjct_23392#1088#100#1#1#231#TRUE;Clls2_2.time+180Clls2_2.time+180STRONG)
(TimedTransition$Cnsmr_23296#1472#100#1#1#232#TRUE;enab+91min(Clls1_2.time, Clls2_2.time) + 91STRONG)
(TimedTransition$SbmtMnr1_24352#1248#100#1#1#233#TRUE;PprRdy_2.timePprRdy_2.timeWEAK)
(TimedPlace$Wtng2_24352#896#100#2#1#234#0#;1timed_int)
(TimedPlace$Rjctd_23392#896#100#2#1#235#0#;1timed_int)
(TimedTransition$SbmtMnr2_23840#896#100#1#1#236#TRUE;enabenabSTRONG)
(TimedTransition$MnrAccpt_24352#672#100#1#1#237#TRUE;enab+60enab+60STRONG)
(TimedTransition$MnrRjct_23968#672#100#1#1#238#TRUE;enab+60enab+60STRONG)
(TimedPlace$KpPncl_4512#1280#100#2#1#239#0#;1timed_int)
(TimedPlace$Wrtng_4960#1600#100#2#1#240#0#;1timed_int)
(TimedPlace$KpBlck_4512#1920#100#2#1#241#0#;1timed_int)0^
(TimedTransition$PckPncl_4672#832#100#1#1#243#TRUE;enab+1enab+1STRONG)
(TimedPlace$PprRdy_12880#704#100#2#1#64#0#;1timed_int)
(TimedPlace$Clls2_12592#1408#100#2#1#65#0#;1timed_int)
(TimedPlace$Clls1_12880#1216#100#2#1#66#0#;1timed_int)
(TimedTransition$LvPncl_41056#928#100#1#1#244#TRUE;enab+3enab+3STRONG)
(TimedTransition$EndWrtng_41408#1600#100#1#1#245#TRUE;enab+60enab+120STRONG)
(TimedTransition$StrtWrtng_4416#1600#100#1#1#246#TRUE; enab+1enab+1STRONG)
(TimedTransition$LvBlck_41056#2272#100#1#1#247#TRUE;enab+3enab+3STRONG)
(TimedTransition$PckBlck_4736#2464#100#1#1#248#TRUE;enab+1enab+1STRONG)
(TimedPlace$Wtng1_12272#960#100#2#1#74#0#;1timed_int)
(TimedTransition$MjrAccpt_12336#1152#100#1#1#75#TRUE;Clls2_1.time+180Clls2_1.time+180STRONG)
(TimedTransition$MjrRjct_11920#1408#100#1#1#76#TRUE;Clls2_1.time+180Clls2_1.time+180STRONG)
(TimedTransition$Cnsmr_12528#1216#100#1#1#77#TRUE;enab+91min(Clls1_1.time, Clls2_1.time) + 91STRONG)
(TimedTransition$SbmtMnr1_12368#704#100#1#1#78#TRUE;PprRdy_1.timePprRdy_1.timeWEAK)
(TimedTransition$SbmtMjr_42112#1600#100#1#1#249#TRUE;PprRdy_4.timeClls1_4.time+90WEAK)0^
(TimedPlace$Wtng2_11920#704#100#2#1#81#0#;1timed_int)
(TimedPlace$Rjctd_11920#1120#100#2#1#82#0#;1timed_int)
(TimedTransition$SbmtMnr2_11920#896#100#1#1#83#TRUE;enabenabSTRONG)
(TimedTransition$MnrAccpt_11568#704#100#1#1#84#TRUE;enab+60enab+60STRONG)
(TimedTransition$MnrRjct_11568#896#100#1#1#85#TRUE;enab+60enab+60STRONG)
(TimedPlace$PprRdy_41728#1600#100#2#1#251#0#;1timed_int)
(TimedPlace$Clls2_42688#1824#100#2#1#252#0#;1timed_int)
(TimedPlace$Clls1_42464#1600#100#2#1#253#0#;1timed_int)
(TimedPlace$Wtng1_42112#1792#100#2#1#254#0#;1timed_int)
(TimedTransition$MjrAccpt_42400#1984#100#1#1#255#TRUE;Clls2_4.time+180Clls2_4.time+180STRONG)
(TimedTransition$MjrRjct_42432#2176#100#1#1#256#TRUE;Clls2_4.time+180Clls2_4.time+180STRONG)
(TimedTransition$Cnsmr_42464#1760#100#1#1#257#TRUE;enab+91min(Clls1_4.time, Clls2_4.time) + 91STRONG)
(TimedTransition$SbmtMnr1_41728#1920#100#1#1#258#TRUE;PprRdy_4.timePprRdy_4.timeWEAK)
(TimedPlace$Wtng2_41728#2400#100#2#1#259#0#;1timed_int)
(TimedPlace$Rjctd_42432#2400#100#2#1#260#0#;1timed_int)
(TimedTransition$SbmtMnr2_42016#2400#100#1#1#261#TRUE;enabenabSTRONG)
(TimedTransition$MnrAccpt_41728#2656#100#1#1#262#TRUE;enab+60enab+60STRONG)
(TimedTransition$MnrRjct_42176#2656#100#1#1#263#TRUE;enab+60enab+60STRONG)
(TimedPlace$KpPncl_33392#3168#100#2#1#264#0#;1timed_int)
(TimedPlace$Wrtng_32880#3104#100#2#1#265#0#;1timed_int)
(TimedPlace$KpBlck_32368#3168#100#2#1#266#0#;1timed_int)
(TimedPlace$Blck21408#2816#100#2#1#267#1#
(TimedToken$Tk1T00#);1timed_int)
(TimedTransition$PckPncl_33840#3168#100#1#1#268#TRUE;enab+1enab+1STRONG)
(TimedTransition$LvPncl_33872#2944#100#1#1#269#TRUE;enab+3enab+3STRONG)
(TimedTransition$EndWrtng_32880#2816#100#1#1#270#TRUE;enab+60enab+120STRONG)
(TimedTransition$StrtWrtng_32880#3360#100#1#1#271#TRUE; enab+1enab+1STRONG)
(TimedTransition$LvBlck_31856#2944#100#1#1#272#TRUE;enab+3enab+3STRONG)
(TimedTransition$PckBlck_31824#3168#100#1#1#273#TRUE;enab+1enab+1STRONG)
(TimedTransition$SbmtMjr_32976#2304#100#1#1#274#TRUE;PprRdy_3.timeClls1_3.time+90WEAK)0^
(TimedPlace$PprRdy_32880#2592#100#2#1#276#0#;1timed_int)
(TimedPlace$Clls2_33232#1792#100#2#1#277#0#;1timed_int)
(TimedPlace$Clls1_32880#1984#100#2#1#278#0#;1timed_int)
(TimedPlace$Wtng1_33520#2304#100#2#1#279#0#;1timed_int)
(TimedTransition$MjrAccpt_33520#1952#100#1#1#280#TRUE;Clls2_3.time+180Clls2_3.time+180STRONG)
(TimedTransition$MjrRjct_34032#1792#100#1#1#281#TRUE;Clls2_3.time+180Clls2_3.time+180STRONG)
(TimedTransition$Cnsmr_33232#2112#100#1#1#282#TRUE;enab+91min(Clls1_3.time, Clls2_3.time) + 91STRONG)
(TimedTransition$SbmtMnr1_33488#2592#100#1#1#283#TRUE;PprRdy_3.timePprRdy_3.timeWEAK)
(TimedPlace$Wtng2_34032#2592#100#2#1#284#0#;1timed_int)
(TimedPlace$Rjctd_34032#2080#100#2#1#285#0#;1timed_int)
(TimedTransition$SbmtMnr2_34032#2368#100#1#1#286#TRUE;enabenabSTRONG)
(TimedTransition$MnrAccpt_34352#2400#100#1#1#287#TRUE;enab+60enab+60STRONG)
(TimedTransition$MnrRjct_34352#2592#100#1#1#288#TRUE;enab+60enab+60STRONG)137#
(Arc$A540#0#0#0#0#0#0#0#20#0#1#33^9^1)
(Arc$A160#0#0#0#0#0#0#0#20#0#1#9^3^1)
(Arc$A550#0#0#0#0#0#0#0#20#0#1#10^33^1)
(Arc$A180#0#0#0#0#0#0#0#20#0#1#3^10^1)
(Arc$A190#0#0#0#0#0#0#0#20#0#1#3^12^1)
(Arc$A200#0#0#0#0#0#0#0#20#0#1#6^12^1)
(Arc$A210#0#0#0#0#0#0#0#20#0#1#12^5^1)
(Arc$A560#0#0#0#0#0#0#0#20#0#1#11^33^1)
(Arc$A230#0#0#0#0#0#0#0#20#0#1#11^7^1)
(Arc$A240#0#0#0#0#0#0#0#20#0#1#7^14^1)
(Arc$A250#0#0#0#0#0#0#0#20#0#1#14^6^1)
(Arc$A260#0#0#0#0#0#0#0#20#0#1#6^13^1)
(Arc$A270#0#0#0#0#0#0#0#20#0#1#13^7^1)
(Arc$A280#0#0#0#0#0#0#0#20#0#1#5^11^1)
(Arc$A350#0#0#0#0#0#0#0#20#0#1#25^15^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#30^19^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#19^2^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#20^30^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#2^20^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#2^22^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#17^22^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#22^16^1)
(Arc$A410#0#0#0#0#0#0#0#20#0#1#50^18^1)
(Arc$A420#0#0#0#0#0#0#0#20#0#1#52^18^1)
(Arc$A430#0#0#0#0#0#0#0#20#0#1#18^58^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#21^30^1)
(Arc$A1350#0#0#0#0#0#0#0#20#0#1#23^7^1)
(Arc$A1360#0#0#0#0#0#0#0#20#0#1#7^24^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#24^17^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#17^23^1)
(Arc$A1370#0#0#0#0#0#0#0#20#0#1#21^7^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#16^21^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#32^29^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#35^29^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#29^36^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^25^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^25^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^34^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^35^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#21^32^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#34^39^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#35^39^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#34^37^1)
(Arc$3168#1216#0#0#0#0#0#0#20#0#1#34^38^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#36^37^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#36^38^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#32^40^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#40^41^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#38^42^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#42^43^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#43^41^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#41^44^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#41^45^1)
(Arc$A139768#672#0#0#0#0#0#0#20#0#1#33^49^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#49^46^1)
(Arc$A1401184#768#0#0#0#0#0#0#20#0#1#53^33^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#46^53^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^51^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#46^55^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#48^55^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^52^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#55^47^1)
(Arc$A1410#0#0#0#0#0#0#0#20#0#1#54^33^1)
(Arc$A1420#0#0#0#0#0#0#0#20#0#1#85^57^1)
(Arc$A1370#0#0#0#0#0#0#0#20#0#1#56^85^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#57^48^1)
(Arc$A670#0#0#0#0#0#0#0#20#0#1#11^50^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#48^56^1)
(Arc$A1440#0#0#0#0#0#0#0#20#0#1#54^85^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#47^54^1)
(Arc$A720#0#0#0#0#0#0#0#20#0#1#51^61^1)
(Arc$A730#0#0#0#0#0#0#0#20#0#1#52^61^1)
(Arc$A740#0#0#0#0#0#0#0#20#0#1#51^59^1)
(Arc$A1370#0#0#0#0#0#0#0#20#0#1#51^60^1)
(Arc$A760#0#0#0#0#0#0#0#20#0#1#58^59^1)
(Arc$A770#0#0#0#0#0#0#0#20#0#1#58^60^1)
(Arc$A780#0#0#0#0#0#0#0#20#0#1#50^62^1)
(Arc$A870#0#0#0#0#0#0#0#20#0#1#62^64^1)
(Arc$A800#0#0#0#0#0#0#0#20#0#1#60^65^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#69^63^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#71^63^1)
(Arc$A830#0#0#0#0#0#0#0#20#0#1#65^66^1)
(Arc$A840#0#0#0#0#0#0#0#20#0#1#66^64^1)
(Arc$A850#0#0#0#0#0#0#0#20#0#1#64^67^1)
(Arc$A860#0#0#0#0#0#0#0#20#0#1#64^68^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#63^72^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^25^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^70^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^71^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#54^69^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#70^75^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#71^75^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#70^73^1)
(Arc$A1452688#2016#0#0#0#0#0#0#20#0#1#70^74^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#72^73^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#72^74^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#69^76^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#76^77^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#74^78^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#78^79^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#79^77^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#77^80^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#77^81^1)
(Arc$A1354256#3168#0#0#0#0#0#0#20#0#1#30^87^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#87^82^1)
(Arc$A1364224#2944#0#0#0#0#0#0#20#0#1#88^30^1)
(Arc$A1383456#3040#0#0#0#0#0#0#20#0#1#82^88^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#82^90^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#84^90^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#90^83^1)
(Arc$A1370#0#0#0#0#0#0#0#20#0#1#89^30^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#89^85^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#85^92^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#92^84^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#84^91^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#91^85^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#83^89^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#94^93^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#96^93^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#93^97^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^25^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^95^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#15^96^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#89^94^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#95^100^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#96^100^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#95^98^1)
(Arc$3616#1792#0#0#0#0#0#0#20#0#1#95^99^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#97^98^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#97^99^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#94^101^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#101^102^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#99^103^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#103^104^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#104^102^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#102^105^1)
(Arc$0#0#0#0#0#0#0#0#20#0#1#102^106^1)288##include <minmax.h>
class timed_int
{
public:
double time;
int value;
friend istream & operator >>(istream & strm, timed_int & t)
{
strm >> t.time >> t.value;
return strm;
}
friend ostream & operator << (ostream & strm, timed_int t)
{
strm << t.time <<"\n"<< t.value << "\n";
return strm;
}
};
class timed_char
{
public:
double time;
char value;
friend istream & operator >>(istream & strm, timed_char & t)
{
strm >> t.time >> t.value;
return strm;
}
friend ostream & operator << (ostream & strm, timed_char t)
{
strm << t.time <<"\n"<< t.value << "\n";
return strm;
}
};
class timed_double
{
public:
double time;
double value;
friend istream & operator >>(istream & strm, timed_double & t)
{
strm >> t.time >> t.value;
return strm;
}
friend ostream & operator << (ostream & strm, timed_double t)
{
strm << t.time <<"\n"<< t.value << "\n";
return strm;
}
};
class timed_string
{
public:
double time;
char value[256];
friend istream & operator >>(istream & strm, timed_string & t)
{
strm >> t.time >> t.value;
return strm;
}
friend ostream & operator << (ostream & strm, timed_string t)
{
strm << t.time <<"\n"<< t.value << "\n";
return strm;
}
};
T0-365==0)